Weyl Closure of a Linear Differential Operator
نویسندگان
چکیده
منابع مشابه
Weyl Closure of a Linear Differential Operator
(Received) We study the Weyl closure Cl(L) = K(x)h@iL \ D for an operator L of the rst Weyl algebra D = Khx;@i. We give an algorithm to compute Cl(L) and we describe its initial ideal under the order ltration. Our main application is an algorithm for constructing a Jordan-HH older series for a holonomic D-module and a formula for its length. Using the closure, we also reproduce a result of Strr...
متن کاملWeyl Closure of Hypergeometric Systems
We show that A-hypergeometric systems and Horn hypergeometric systems are Weyl closed for very generic parameters.
متن کاملL-fuzzy Closure Operator
The aim of this paper is to study L-fuzzy closure operator in Lfuzzy topological spaces. We introduce two kinds of L-fuzzy closure operators from different point view and prove that both L-TFCS–the category of topological L-fuzzy closure spaces–and L-PTFCS–the category of topological pointwise L-fuzzy closure spaces–are isomorphic to L-FCTOP.
متن کاملA matrix LSQR algorithm for solving constrained linear operator equations
In this work, an iterative method based on a matrix form of LSQR algorithm is constructed for solving the linear operator equation $mathcal{A}(X)=B$ and the minimum Frobenius norm residual problem $||mathcal{A}(X)-B||_F$ where $Xin mathcal{S}:={Xin textsf{R}^{ntimes n}~|~X=mathcal{G}(X)}$, $mathcal{F}$ is the linear operator from $textsf{R}^{ntimes n}$ onto $textsf{R}^{rtimes s}$, $ma...
متن کاملThe Differential Closure of a Differential Field
Good afternoon ladies and gentlemen. The subject of mathematical logic splits fourfold into: recursive functions, the heart of the subject; proof theory which includes the best theorem in the subject; sets and classes, whose romantic appeal far outweigh their mathematical substance; and model theory, whose value is its applicability to, and roots in, algebra. This afternoon I hope to sketch som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2000
ISSN: 0747-7171
DOI: 10.1006/jsco.1999.0400